Logic for concurrency and synchronisation

Författare
(Edited by Ruy J.G.B. de Queiroz.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Kluwer Academic 2003 Nederländerna, Dordrecht, London 284 sidor. 1-4020-1270-5